\chapter{Specification}
\section{Functional requirement}
	\begin{itemize}
	\item Implement two algorithms Moore and Brzozowski.
	\item Show runtime of two algorithms.
	\item Generate automaton randomly.
	\item Loading automata from text file.
	\end{itemize}
\section{Non - Functional requirement}
	\begin{itemize}
		\item Programing language: Java
		\item The data structures for automata is Map\textless State, Map\textless String, Transition\textless String\textgreater\textgreater \textgreater with Map, List are two Java classes and Vertices, Edge are new classes.
		\item An automata will be stored in text files. Format of it will be like this:
		\begin{itemize}
			\item Number of states
			\item Number of transitions
			\item List of states
			\item List of transition
		\end{itemize}
		\item The application can keep normal speed when handling the automaton having up to 2500 states.
	\end{itemize}
